61. A profile of mathematical logic

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
D37

62. A readable introduction to real mathematics

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.

رده :
QA
93
.
R6
2014

63. A sequential introduction to real analysis /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Mathematical analysis,Precalculus

64. A theory of sets

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Set theory,Logic, symbolic and mathematical

رده :
511
.
3
Mo-T

65. A theory of sets

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Aggregates,، Logic, Symbolic and mathematical

رده :
QA
3
.
P8
v
.
18

66. Abelian varieties

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Abelian groups,، Logic, Symbolic and mathematical

رده :
QA
171
.
L28

67. Abstract set theory

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic, symbolic and mathematical,Algebra, abstract

رده :
512
.
8
Fr-A

68. Acting and Reflecting :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)

69. Admissibility of logical inference rules

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Logic, Symbolic and mathematical , Inference

رده :
QA
9
.
R986
1997

70. Admissibility of logical inference rules

پدیدآورنده :

کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)

موضوع : ، Logic, Symbolic and mathematical,، Inference

رده :
QA
9
.
R986
1997

71. Advanced mathematics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.

رده :
QA37
.
3

72. Advanced mathematics :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;

73. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
L36B7
1996

74. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical

رده :
QA
9
.
A1N67
2004

75. After Godel : Platonism and rationalism in mathematics and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical

رده :
QA
9
.
T53A34

76. After Gغodel :Platonism and rationalism in mathematics and logic

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Gغodel, Kurt,، Logic, Symbolic and mathematical

رده :
QA9
.
T54
2011

77. Alan Turing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography

رده :
QA29
.
T8
C65
2013

78. Alan Turing : his work and impact

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical

رده :
QA
29
.
T8
C65
2013

79. Alan Turing : his work and impact

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical

رده :
QA
29
.
T8C66

80. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42